1. An introduction to non-classical logic
پدیدآورنده : Priest, Graham, 8491-
کتابخانه: (طهران)
موضوع : ، Nonclassical mathematical logic
رده :
QA
9
.
4
.
P75I5
2. An introduction to non-classical logic
پدیدآورنده : Priest, Graham
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Nonclassical mathematical logic
رده :
QA
9
.
4
.
P75
2001
3. An introduction to non-classical logic
پدیدآورنده : Priest, Graham.
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : ، Nonclassical mathematical logic,، Logic
رده :
QA
9
.
4
.
P7I5
4. An introduction to non-classical logic : from if to is
پدیدآورنده : Priest, Graham, 8491-
کتابخانه: (طهران)
موضوع : ، Nonclassical mathematical logic
رده :
QA
9
.
4
.
P75I5
2008
5. An introduction to non-classical logic : moving about in worlds not realised
پدیدآورنده : Priest, Graham.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Nonclassical mathematical logic
رده :
QA
9
.
4
.
P75
2001
6. Essays on Non-Classical Logic
پدیدآورنده : \ Editor Heinrich Wansing
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Nonclassical mathematical logic.,Tense (Logic),Negation (Logic)
رده :
E-Book
,
7. Essays on non-classical logic
پدیدآورنده : editor, Heinrich Wansing
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع : Nonclassical mathematical logic,Tense (Logic),Negation (Logic)
رده :
511
,.
3
,
E77
,
2001
8. Essays on non-classical logic
پدیدآورنده : editor, Heinrich Wansing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Nonclassical mathematical logic,، Tense )Logic(,، Negation )Logic(
رده :
QA
9
.
4
.
E77
2001
9. Essays on non-classical logic
پدیدآورنده : editor, Heinrich Wansing
کتابخانه: (طهران)
موضوع : ، Nonclassical mathematical logic,، Tense )Logic(,، Negation )Logic(
رده :
QA
9
.
4
.
E83
10. Labelled non-classical logics
پدیدآورنده : by Luca Vigano.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Nonclassical mathematical logic.
رده :
QA9
.
B958
2011
11. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
پدیدآورنده : European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
رده :
Q
334
.
E985
1990
12. Neutrality and many-valued logics /
پدیدآورنده : Andrew Schumann [and] Florentin Smarandache.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Many-valued logic.,Nonclassical mathematical logic.,Logic.,Many-valued logic.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Nonclassical mathematical logic.
رده :
QA9
.
45
13. #Non-classical logics, model theory, and computability
پدیدآورنده : #edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Nonclassical mathematical logic -- Congresses ،Model theory -- Congresses ،Computable functions -- Congresses
رده :
#
QA
،#.
L37
،#
1976
14. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
پدیدآورنده : edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Nonclassical mathematical logic,Congresses ، Model theory,Congresses ، Computable functions
رده :
QA
9
.
7
.
L3
15. Probability, uncertainty and rationality
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Nonclassical mathematical logic,Congresses ، Rationalism
رده :
QA
9
.
4
.
P76
2010
16. Theorem proving with analytic tableaux and related methods :
پدیدآورنده : Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Nonclassical mathematical logic -- Congresses.
رده :
QA76
.
9
.
A96
P484
1995
17. Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17th, 1996 : proceedings
پدیدآورنده : P. Miglioli ... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Nonclassical mathematical logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1071
18. classical logic-Essays on non
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Nonclassical mathematical logic. ; Tense (Logic) ; Negation (Logic) ;
19. classical logics-Interval/probabilistic uncertainty and non
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Uncertainty (Information theory) ; Congresses. ; Nonclassical mathematical logic ; Congresses. ;
